complete normed space

[数] 完备赋范空间